Książki autorstwa Daniel Kroening

Znaleziono 1 – 10 z 10 pozycji

1. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2017

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Twarda

   93.79 €

   Kup książkę
2. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2018

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.35 €

   Kup książkę
3. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.35 €

   Kup książkę
4. 

   Hardware and Software: Verification and Testing

   Sharon Barner, Ian Harris, Daniel Kroening, Orna Raz | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2011

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.35 €

   Kup książkę
5. 

   Digitaltechnik - Eine praxisnahe Einführung

   Armin Biere, Daniel Kroening, Georg Weissenbacher | Springer, Berlin, 2008

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Niemiecki

   Oprawa: Miękka

   34.15 €

   Kup książkę
6. 

   Decision Procedures

   Daniel Kroening, Ofer Strichman | Springer-Verlag Berlin and Heidelberg GmbH & Co. KG, 2008

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Twarda

   77.57 €

   Kup książkę
7. 

   Validation of Evolving Software

   Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2015

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Twarda

   61.35 €

   Kup książkę
8. 

   Verified Software: Theories, Tools and Experiments

   Dimitra Giannakopoulou, Daniel Kroening | Springer International Publishing AG, 2014

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.35 €

   Kup książkę
9. 

   Computer Aided Verification

   Daniel Kroening, Corina S. Pasareanu | Springer International Publishing AG, 2015

   
   

   Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

   Język: Angielski

   Oprawa: Miękka

   61.35 €

   Kup książkę
10. 

    Validation of Evolving Software

    Hana Chockler, Daniel Kroening, Leonardo Mariani, Natasha Sharygina | Springer International Publishing AG, 2016

    
    

    Dostępna u dostawcy w małych ilościach - Wysyłamy za 13 - 16 dni

    Język: Angielski

    Oprawa: Miękka

    61.35 €

    Kup książkę

Książki wysyłamy w specjalnym tekturowym opakowaniu. Zobacz więcej